package entity.lemming;

import entity.Entity;
import level.Level;

/**
 * A lemming that digs diagonal (downwards) through the terrain.
 * 
 * @author Neil Cowzer
 */
public class Miner extends Lemming {

	/**
	 * Create an instance of the Miner Lemming.
	 * 
	 * @param x the starting x-coordinate.
	 * @param y the starting y-coordinate.
	 * @param level the current level.
	 */
	/*@ requires 0 <= x && 0 <= y;
		assignable speed_X && speed_Y && energy;
		ensures speed_X != 0 && speed_Y < 0 && energy == 100;
	 */
	public Miner(int x, int y){
		super("tobefilled.gif", x, y);
		speed_X = 1;
		speed_Y = -1;
		energy = 100;
	}
	
	/**
	 * Checks for a collision with another Entity
	 * 
	 * @param other another Entity eg Terrain, Lemming.
	 * @return true if a collision has occured.
	 */
	public /*@ pure @*/ boolean collision(Entity other) {
		// TODO Auto-generated method stub
		return false;
	}

	/** Request that this lemming perform the appropiate action/movement. */
	/*@ ensures x == \old(x) + speed_X &&
	 * 			y == \old(y) + speed_Y &&
				energy == \old(energy) - 1;
	 */
	public void move() {
		// TODO Auto-generated method stub

	}

}
